projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06a9a2a) | patch
Patch forwarded.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 26 Jun 2017 09:51:55 +0000 (11:51 +0200)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 26 Jun 2017 09:51:55 +0000 (11:51 +0200)
commit652045a323da9ecc39b6bb08e6d0be9764b037ea
tree25425a57f4b2033ac564edff8b42ef7a08c50c09tree | snapshot
parent06a9a2a7c98a1df1141371f6b7479cd2c8af98e5commit | diff
Patch forwarded.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.